PERSPECTIVES OF THE METHODS DEVELOPMENT FOR AIRCRAFT MAINTAINABILITY CERTIFICATION
نویسندگان
چکیده
منابع مشابه
Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems
In this paper we assess the feasibility of using formal methods, and model checking in particular, for the certification of Unmanned Aircraft Systems (UAS) within civil airspace. We begin by modelling a basic UAS control system in PROMELA, and verify it against a selected subset of the CAA’s Rules of the Air using the SPIN model checker. Next we build a more advanced UAS control system using th...
متن کاملdevelopment of different optical methods for determination of glucose using cadmium telluride quantum dots and silver nanoparticles
a simple, rapid and low-cost scanner spectroscopy method for the glucose determination by utilizing glucose oxidase and cdte/tga quantum dots as chromoionophore has been described. the detection was based on the combination of the glucose enzymatic reaction and the quenching effect of h2o2 on the cdte quantum dots (qds) photoluminescence.in this study glucose was determined by utilizing glucose...
Virtual Reality for aircraft engines maintainability
REVIMA is a virtual reality system for maintainability simulation in Aeronautics. It comprises both hardware and software developments, plus system integration. REVIMA required the design of a new haptic system. It is used both to track hand movements and to return force feedback that provides the sensation of working with a physical mock-up. The main software modules are: image generation, col...
متن کاملconditional copula-garch methods for value at risk of portfolio: the case of tehran stock exchange market
ارزش در معرض ریسک یکی از مهمترین معیارهای اندازه گیری ریسک در بنگاه های اقتصادی می باشد. برآورد دقیق ارزش در معرض ریسک موضوع بسیارمهمی می باشد و انحراف از آن می تواند موجب ورشکستگی و یا عدم تخصیص بهینه منابع یک بنگاه گردد. هدف اصلی این مطالعه بررسی کارایی روش copula-garch شرطی در برآورد ارزش در معرض ریسک پرتفویی متشکل از دو سهام می باشد و ارزش در معرض ریسک بدست آمده با روشهای سنتی برآورد ارزش د...
the impact of morphological awareness on the vocabulary development of the iranian efl students
this study investigated the impact of explicit instruction of morphemic analysis and synthesis on the vocabulary development of the students. the participants were 90 junior high school students divided into two experimental groups and one control group. morphological awareness techniques (analysis/synthesis) and conventional techniques were used to teach vocabulary in the experimental groups a...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Civil Aviation High TECHNOLOGIES
سال: 2018
ISSN: 2542-0119,2079-0619
DOI: 10.26467/2079-0619-2018-21-4-110-122